<html><body bgcolor=white  onload='parent.fileFinishedLoading();'>
Loading globals.html info file... 
<script language="javascript">
var ag=parent.ag;
if(ag== undefined) { alert('The code is not yet loaded'); }
ag(0,'/*1*/__ccured_has_empty_mangling@0:3');
ag(1,'/*2*/__trusted_cast@0:4');
ag(2,'/*3*/wrapperAlloc@0:5');
ag(3,'/*4*/__mkptr_string@0:6');
ag(4,'/*5*/__trusted_cast@0:7');
ag(5,'/*6*/__trusted_deepcast@0:8');
ag(6,'/*7*/__mkptr_size@0:9');
ag(7,'__ccuredInit@0:1');
ag(8,'abort_deepcopy@0:2');
ag(9,'main@0:10');

</script>Done</html>
